$\forall$$u$, $v$, $R$:Top. $\oplus$$x$$\in$$u$.$v$.$R$($x$) $\sim$ ($R$($u$) $\oplus$ $\oplus$$x$$\in$$v$.$R$($x$))